Fix problem with duality gap.
Fix wrong file name in .gitattributes.