Okay. It didn't seem to cause any harm on Win32, but I suppose it might elsewhere.