Fix demo data downloads on osx (curl command was broken).
Fix auto detection of PETSc/SLEPc 3.4.2 on Debian.