trying to fix jenkins build again...