need to find a way to reload ctypes_malloc with different arch