DEBUG: Executing shell function do_compile
NOTE: make -j 8
DEBUG: Shell function do_compile finished