travis: try -Os with -flto to see if #2235 and #2232 are still broken on travis