fixed a bug in strcmp hash definition