Fixed a compilatin erro  on travis related to PETSc