Bug fix to push 64bit files when requested.
am: 757a198628

Change-Id: Id648d28ea56fb35f5012f62f06f6c12d5c62b6d2