shrc: rm mysql from $PATH