Use Linux64-GNU rather than Linux64-Intel for wsmp