Pull hal to fix annoying hal2maf bug in automated testing