Now also checking O3 if O5 is not possible (e.g. llvm)