Improve compilation-time by minimize the number of files given to camplp4