fixes #9745
rebuild