fix build with HEAD