Re #9647. Changing buld scripts to point at new target.