Port wfscc to Linux.
Merge.