Benchmarking
Build for Linux on ARM (fixes #32)