The code where Arduino communicates with Pixhawk does not compile

It indeed did not compile; @evanmars gave the solution.