Augment ~/.bashrc anyway in Ubuntu builds