Unix shell customization and other stuff