Just wanted to highlight this answer because not finding the generated InputCoreTypes.generated.h file is the first compiling error someone new to dedicated servers will get when trying to compile and not using a source build. Switching to the source build is probably the solution for most of the people searching for this.