Use /usr/bin/env python3 for portability

At least across posix