Fix delibertae fault before thinking some more about this CI thing