add python libraries needed for properties.py