Improve Debian compatibility. Fixes #257.