workaround python header bug