Temporary hack: Disable MANAGED_ALLOCATION since it breaks on armhf.
WIP: armhf return value stuff.