Restore optional slow but more precise operation for AreaAllocator. Disabled by default.
For Travis CI - switch CI build to use Raspberry-Pi build environment.