Proposal: winpthreads support for Fedora 20