Use "short" traceback style, in an attempt to workaround a py.test bug