added file extensions

Files without file extensions are not handled correctly from within the
explorer in Windows