Add forgotten file needed for factorization example.