Revert "Attempt to fix jenkins"

This reverts commit ce901ef867b87726a7d8759754caaa680b97d8bd.