Accommodate Ubuntu 12.10's ~/.bashrc like 13.04's