Add strprefix(), and use it instead of its pattern

Add strprefix(), and use it instead of its pattern #4017