F14TC2 x86_64 problem