.bashrc.d/30.criteo: fix