We went through an iteration where we supported --enable-extensions and then didn't. This adds back our support for --enable-extensions. Closes #239
