Work around Ubuntu dash echo being incompetent