Fixed typos in cmake/config-ix.cmake