So now that useless file is gone.