Updated port symbol name, pointing to particular commit hash of IPython 1.0 on GitHub