Update COMPILING_THE_SOURCES.txt