fix a bug where the Clang pass aborts compilation upon solver timeout