Delete restart_theme.js~