Better add the actual core files