also move in the old COMPILING file that was deleted in 8ac6cfa4 We may decide later what to do with them