Recompile for #7.