Missing files from solver lib.