generator.ml: finish adding Dev_or_Path support