commented out some cmake debugging

9 jobs for main in 5 minutes and 7 seconds (queued for 2 seconds)