Improved howto_compile.ext