bash: the cleanup function should replace ampersands too.