Fix for undefined $jar in push scripts