Fix continuous integration on gitlab