Static FILE_EXTENSION_RMI

Source
pub static FILE_EXTENSION_RMI: &'static str