Delete devbox5.plugin.sh