Fix for Debian systems