Python3: install addition library