autogen.bash: delete