don't print ugly GHC panic messages anymore