Run with python3 instead of assuming python3 is the default