echo 'main="$1"; shift'
echo 'rm -f "$main"'
echo $CC '-shared -Wl,-soname,$main -o "$main" ${1+"$@"}'