Dummy file to keep the Makefile happy.
