Minor changes in utils.cmake