restore python3 shebang
Authored by: Jean-Francois Dockes 2018-09-26
Parent(s): [355f66]
Child(ren): [028df6][aba967]