Building CDC for linux-x86 with FPU fails