Work-around for Safari JIT bug