fix CRAY(SPRK) bugs (?)