Fix test-core ctypes testcase