.bash_profile: better history
mc: default colors