Fix problem with PETSC_ARCH and PETSc 3.5.2 on Cygwin (fixes issue #518).
Merge pull request #522 from hashdist/johannr/fix-issue-518

Fix problem with PETSC_ARCH and PETSc 3.5.2 on Cygwin