Includes need to be greedy-lazy for searchpath to work