Remove outdated files from bigfloat_ctypes.