Fix the detection of the Python library