NuttX correct version

[Roberto Bucher]

Hi

When I create a library export of the NuttX project I receive a library 
*nuttx-export-12.4.0-RC0.tar.gz*. Is this correct or I have to get a 
*12.4.0* version?

Thanks in advance

Roberto