Fix .bash_profile

Apparently the "[ -v" flag wasn't added until bash 4.2, which is not
default on this system. Switching to "[ ! -z" should still work for
version 3-whatever that runs on OSX by default.