* `/usr/bin/env` is not necessary: `python3` is just the same
  (`/usr/bin/env python3` is helpful in a shebang, since an absolute
  path is required there)
* use the variable `$PYTHON_EXEC`: it was introduced recently, but not
  used for now