Specify 'instmap' extension