Hopefully fixes CI