coremanager.py: Allow symlinks in core libraries