file for common bash profile settings