bug correction: exit() not found in splitting_kernels.cpp