Fix push.sh for new package layout

Change-Id: Ica983519e523660ae8bc88d331dc845202f1bc3c
diff --git a/push.sh b/push.sh
index 0a14277..8d47b1e 100755
--- a/push.sh
+++ b/push.sh
@@ -18,7 +18,7 @@
 
 package=$orig_package
 if [[ ! -f $package ]]; then
-    package=$(echo $PRODUCT_OUT/packages/$package*.deb)
+    package=$(find $PRODUCT_OUT/packages -name "${package}*.deb")
 
     if [[ ! -f $package ]]; then
         echo "push: no such package $package"