# This file can't be empty otherwise diff won't see it.