v 0.9: add IPS export