Mavlink is now a git submodule because auto generated header files are available at https://github.com/mavlink/c_library
Thomas Gubler