CNogosek: Fixing the build