update the frozen menu name also in autoHLT.py