Oops: "LilyPond".lstrip("LilyPond") is of course "" ;-)