migrate.h: fix build

Change-Id: I5b9ec6693a5561f1d994797daa7c1198cbacba54