benderklint3 is not found!