Don't use devfiles in opam script.