Renamed stl to aux and WORDUTATE_CONFIG_STL_ALLOCATOR to WORDUTATE_ALLOCATOR.