Changed xsse4.2 flag for Makefile_Stampede to xAVX