attempt to fix CI issue