# Make `diff' happy.