Add files needed for Fix*