Small fixes to support a Debian/GNU Linux distro. Hopefully Ubuntu too.