Making Makefiles compatible with make -j
Fix make depend in src/tools