updates ci config for new gitlab runner images; tweaks cmake config file (some new policy is needed).