This file is not needed anymore.