Removed duplicate core import

Knopflerfish that I am using for a project doesn't like duplicate imports... And I see no reason for it to be there.