Fix headers of src/mp/server