revert part of previous commit to maybe fix ci