Stay compatible with LilyPond 2.14.2 for now.