Get rid of console-patch.js too