Don-t-check-for-SOFAVERSION-during-CI-test.patch
