Hopefully fix 'make ci'