redo-always
rm -f lib-cpt cpt "$3"