Get the make dependencies right so that CI doesn't fail