fix for debian building