Delete asyncio.js~