BUGFIX: build error in Debug arm7s builds