fix python setup script