make Debian happy