bash: remove obsolete alias