In a Linux environment, I\'d like to be able to set the embedded python3 to a specific python version. My current monetDB install seems to use 3.7 even though a
3.7
