debianization: small fix for older Ubuntus