Modified so that it can be built on ARM