Hook into Jenkins destroy hook to keep in sync