changes in cmakefiles for g++ and a harmless bug in Pool::decreaseWorkerCountBy(...)