file names for DoubleMu in master_2012.py