fix debian/run.sh