Fixed a compilatin error on travis related to PETSc