build for Debian as well