Junior primary homonym of Bulimus humbloti Mabille, 1886; a replacement name has not yet been proposed [details]