Do we still need this file?