Microsoft gets Oracle’s Linux man on board