fixed a compilation bug in setup.cpp