There's no reason why the filename and extension both have to be the
same width.