use new IPython.load_extensions API