Version of Mavproxy we're using, with the necessary libs.