install also libpetsc3.4.2-dev