tab completion is now compatible with polymake revision [11474]