correct the bindir for Debian launcher scripts

fixes #4048