GHC Trac says database is locked