(executable
 (public_name mlgpx)
 (name mlgpx_cli)
 (libraries gpx gpx_eio cmdliner eio_main fmt fmt.tty fmt.cli))