Fixed a compilation on travis error related to PETSc