Minor system.cmake tweak