Fixes #5144: fix the definition of OpenSSH Server on debian 3 and 4