This hack to prevent double initialization of judge.py, once as __main__, once as judge.