fix compilation of isd