Run 'make' when Makefile is generated from CMake in compile.py.