slepc hotfix