Martian rover has some Linux computers, too