Added option to disable MiBench tests