fix linux build. rename extensions module.