change travis to push definitions file