[magma] Fix build.

Change-Id: I41f24060c64207b99b09d987b790842a00e98c14
1 file changed