more flexible specification of precompiled headers