Fix for debian