Make build.sh a little faster

Change-Id: I138f234c629f3fba47cccf7274d659e37ffeda7a