some minor fixes for COMPILE.TXT