only enable pretty-symbol on 24.4.1