Improved CMakeLists.txt, where the option -DBAT_MAKE_JOBS=num has been removed.