Workaround for failing precompiled headers