Front end now supports different isntr. files.