[bashrc] Slightly better hack for getting 256 color terminals