Valve ports Half-Life to Linux