Specifying Python 3