switched to using python3 executable (more portable on linux)