Fix issue #245 - Ubuntu 13.10 build failure 

See: https://github.com/diydrones/apm_planner/issues/245