Correct asm.js syntax to comply with Firefox 24