Makes me a little unhappy to have an extra configuration file.  Is it possible to drop this and use the defaults? Is --tb=short obviously nicer?