The bash profile I use