[PATCH] fix imports after repo merge