gri3-wm/travis/debian-build.sh