Quake IV will be released for Linux