Build of UE4Editor on Ubuntu 18.04 fails

oops - that should be git reset --hard … sorry