Building micro-ecc with SES, SDK14.1

Hi, I'm trying to build the secure_dfu_ble_s132_pca10040_debug project and apparently need to add the mico-ecc library. The SDK instructions for building the library call out " 4.9-2015-q3-update of the GCC compiler toolchain for ARM". I'm using Segger Embedded Studio, which is using "GNU ARM Embedded Toolchain version 6-2017-q2-update".

Should I use the 4.9 version as called out in the instructions, or should I use the SES version, which is what I'm trying to build the example with?

I'm working on a custom board based on the nRF52832. I'm developing on Win 8.1 using SES and a J-Link Plus. SDK version 14.1. Thanks in advance.