Fix agros2d-binary project.