Reduce (?) compilation load: no profiling, no doc

1 job for master in 38 seconds (queued for 3 seconds)