fix bug in srl/cmakelists.txt