VSLinux: more file extensions in default configuration