Mars Curiosity. Where is Linux?