Use -march instead of -mtune
Merge branch 'master' into elaborate_seeding