update stl_config.h