VSLinux: additional file extensions in default configuration