This file turned out to be unnecessary