TIMER_TICK_PER_SECOND redefined

Hi,

I wonder if anyone has the similar issue as my in SSP1.2.0 with e2studio 5.3.1

I want to change TIMER_TICK_PER_SECOND for the ThreadX so I add ThreadX source and set properties Timer Ticks Per Second to 1000. After the compilation, there are a few hundreds of warming messages about  "TIMER_TICKS_PER_SECOND redefined". By searching through the source files, it appears that the tx_user.h,  where this customized TIMER_TICKS_PER_SECOND is defined,  is inserted into the wrong location in tx_port.h. As shown below, the line 93 should be added before line 82. Though I made the change in tx_port.h and made this file Read Only for now to get rid of the warning messages, I'd like to know if there is a better way.  

Thanks,

Jimmy