Trying to fix CI configuration