use env python3