Hack ipython to use nbm to get kernel path