Remove SFLexit for the wong-codegen problem in Linux 64bit.