Commented out export of missing CRML source file to avoid build error.
There are no known side effects of this file being missing, so this seems a reasonable way to avoid the build error.
// STLport configuration file
// It is internal STLport header - DO NOT include it directly
#define _STLP_NO_MEMBER_TEMPLATES // Compiler does not support member templates
#define _STLP_NO_MEMBER_TEMPLATE_CLASSES // Compiler does not support member template classes
#define _STLP_HAS_NEW_NEW_HEADER
#define _STLP_HAS_NO_NEW_IOSTREAMS // Native C++ library does not provide new-style templatized iostreams