Update .setup.bash

Isn't that the usual way of doing "lowercase" :-)