Minor changes in cmake file