regain imports lost for core.py