Compiling Hopital.v in v8.4.