bugfix in python detection