New manifest file, to keep tools happy.