Update HOW_TO_COMPILE.txt. Fix #25