Different colors for different boxen.
Fix git pretty log sourcing.