This file shouldn't exist, since it's empty.