Delete proprietaries file, don't think it's used