do not use the petsc headers
remove petsc headers
use one header for whale