more robust compilation database semantics