use generic python3 header