replace assembly version of strlen() with portable C version