need x11-dev to get petsc windows to work on ubuntu 13.10 apparently ... in any case it should not hurt