Don't use now obsolete const.py.