Twitter finds Ruby faster with gcc optimizing for size than speed