Fix strcmp()

The original strcmp() may obtain wrong result when comparing two
different strings, e.g. strcmp("123", "124") gets 1, not the
correct result -1.