fix errors in travis with PETSc