Is this standard to use `extension "bin"` even in the presence of no extension?