Yeah, I think that is because CMAKE_INSTALL_PREFIX is always set. It might work if you erased it with something like cmake -DCMAKE_INSTALL_PREFIX= -DSimTK_INSTALL_PREFIX=${PREFIX}

Still, I'm having trouble thinking of any reason why we need to continue supporting SimTK_INSTALL_PREFIX.