Copy otpch.h to ext/