Fix: push-package and new version of configure for lttng-tools