Currently these are pure --dbg=on builds, which disables optimization entirely. Re-do the builds with --opt=on as well.