fix for debian compatibility