# The appropriate files are removed in the clean target in Makevars,
# so nothing needed here
