an empty file to make autoreconf happy (for now)
