fix dARM module, hopefully?