Fix #caf4130d0089dc9858099b5b906b05eba7f96ea2, rebuilt files