Use python3 file header