Fix #10: crash on no pch file

This supersedes #11 and solves #10.