using the latest version of kiama with -Yrangepos
using getLocalCacheFile instead of getCacheFile