coremanager.py: Fix ordering of dependencies
Allow dots in .core filenames