Fix KRP8.v now includes id.vh