Fix up Verizon build script