Fix a debian-specific thing