gnu_coreutil.cmd: allowing for other extensions