fix dereference of unaligned double pointer on ARM CPU