see how this impacts compiler performance, as all object files are
compiled twice now. As the C compiler usually is not the bottleneck, we
should be fine.