An empty file to make git happy.