compilation fix for IJ13
Merge pull request #22 from krasa/130.700

compilation fix for IJ13