Use profile instead of bash_profile since it gets sourced by display managers. Remove bash_logout, might reintroduce it later if it's deemed useful.