More HOW_TO_COMPILE.txt improvements