Makefiles: reduce compilation time (when using make -j)