ALLPATHS-LG is missing here, add a commented out line in case of build issues