-include: \
${workspace}/cnf/argeo.bnd, \
${workspace}/cnf/testing.bnd