INST: changed name of sct_segmentation_propagation to sct_propseg in linux binaries