Fix config.py so that SHOWtime can be run out-of-the-box