/* Dummy header, which gets overriden, if winpthread library gets installed.  */