debian/launcher startup scripts use configured port

for #845