Fix for Debian error