Bugfix: add .txt extension to cv_constraint files.