This file seems to be unnecessary