Maybe this will fix the PR builds

It should be fixed in the PR too.