Fix behavior when calling strlen() with CONST argument