Add an __hsbase_ prefix to the MD5 symbols (#7914)