Use jellybean branch build tools for jellybean42

Change-Id: I450710c3c7caada0ce850f80ba1d6cc415e33d2c