Oh, sorry I'm an idiot, it's been a while. You actually don't even need to rename that file; rather you want to delete a section from plugins.js. Search for "ocram" in it, then delete the whole section, from {"name": to }}, , basically everything until a new section starts with {"name":. Save and it should work (remember to reset the file name one ocram back to .js though, just so you don't forget).