more cleanup
Do we even need this file?