Playing with pre-compiled headers