dash does not support multi-digit file descriptors