CI: removing a strange character, see if it helps