Dummy file to keep CVS happy.