if cmake can't produce compilation database, do it manually