support precompiled headers; fixes #2045