Fixed a problem when building RELEASE.