Handle the possibility that the module filename has a '.ko' extension.