small enhancements for Debian builds