Constant nginx::PR_SET_MM_EXE_FILE

pub const PR_SET_MM_EXE_FILE: u32 = 13;