ST changed several times its libraries, without upward compatibility. It's why we decided to include the library files in the CircleOS project (instead of using the library in its object format).
3.7 does not use the source files of the CMSIS-compliant library. It will be the case of the 3.8 (no date for the moment).
Note that 3.7 is the official version for the contest.