switching to petsc-maint means that the prefix bug is gone (thanks Barry)