You can follow the 3.5.3 to 4.0.0 instructions which are here. Just remember to do git checkout v4.0.2 instead of git checkout v4.0.0.
Home on the Digital Range
You can follow the 3.5.3 to 4.0.0 instructions which are here. Just remember to do git checkout v4.0.2 instead of git checkout v4.0.0.