Ensuring that the ipython extension file truly is optional