extra_bashrc: CCCACHE dir decoupled from username