libfplll-4.0.4 (rebuild on x86_64)