update dev shortcut to point at ~/dev rather than ~/Dropbox/dev being on dropbox broke git a lot