fix for debian (will break pipy)