small fixes for errors that came up after re-deploying forge on jenkins