This file is only here so the directory starts off nonempty.