Bugfix: auto_test.py doesn't work as a module