Fix for debian build