Undo the previous commit

pip on Travis CI doesn't like "git+file://".