Tests: explicitly call the python3 interpreter