bug fix: removed the monkey patching which did not work on the ARM architecture