Explicitly mention python3 to make it work on systems where python still
points to python2. Use /usr/bin/env for the case that python3 is
installed somewhere else.