Delete jolly.js~