bash profiles for assorted linux, mac, and windows machines.