Also add the missing files
Add a pass that fixes the unfoldings