refresh python stdlibs