# The contents of this file don't matter.  Some source code checks
# for the existence of this file name to decide whether to do the
# penglai thing or not.