John Carmack thinks the Steam Machine’s biggest problem is Linux