Use migdol-specific version