Flexibly choose between default python and python with extension based on version numbers. Thanks to Tim Fennell