Fix for #8 (on Debian family)