reopen 334228 thanks As discussed on IRC, -mtune didn't do it. I've tested and can confirm that the following cflags (suggested by Aurelien) work: "-pipe -O -march=XXXX" -- Robert Millan