This is no longer necessary after 725121ff8379ec8ffc35d082694ebf783698350c -- use .short50 instead.