fix Ubuntu dist-packages case