@NolanChan can you remove all these extra generated files that don't really do anything?