TCK system properties setup fix