I wouldn't assume the growth in binary size is anything like linear with code size (i.e. there's probably a lot of fixed overhead). And they appear to be using the "--dev" compiler profile, which is unoptimized and meant for debugging.