hashdist/hashstack — pull request #530 by ahmadia (2014-12-02 21:55:34+00:00)
Title: PETSc 3.5.2 fixes for Cray

@cekees - This is being tested, but I'm 95% sure https://github.com/hashdist/hashstack/commit/f1ae9a9e996484e11dc60a33739476aba6df01f8 is what you need.