Fixed libco/x86.cpp on linux

Adjusted CMakeLists.txt to get it working between linux and windows