#5329, #5398: Fixed files' extension.