A fix for openssh server which seems broken...