INST: changed name of prosper in compatibility verification