Exclude -avx as a valid extention for gcc 4.7.3 due to a bug report from...

... a user.