Fix headers of src/mp/rmg