Android: orientation is actually an integer and fix build script