ARDroneSDK is now fetched from an external repository. Patches are applied there.