This file contains nothing.