temporary workaround for derefs on arm32