Fixes #3368: correct openssh script for debian/ubuntu