devel_backend.sh: remove needless single quotes