feature #3194: delete old unused code