Derived algebraic geometry provides a means to drop the flatness assumption, provided that the pullback X' is replaced by the homotopy pullback.
Proper base change also holds in the context of complex manifolds [REF].