fix for std::strlen in linux