Fix distributions config path in setup tool