Fix mlext filename