Fix build error using Archidroid device sources