(Hopefully) fix continuous integration