empty.sh: delete it, as we have gnu truncate