eliom-distillery: option -destination now called -target-directory