Update dotfiles up to 11 August 2013