After some digging, fixed breakage when built with Clang. Partially, though, since the BGA demo doesn't run at all