Fix compilation of MONOLITH.