bin/rlwrap
%%DATADIR%%/ftp
%%DATADIR%%/testclient
%%DATADIR%%/coqtop
@dirrm %%DATADIR%%
