FIX: updated ba3/sasen/.bashrc based on keshavan's newest.