Allow unspecified file extension

We specifically allow empty string to be an extension, so the glob pattern (`glob("/*" + extension)`)
will work trivially