added models with .txt suffix to avoid recompilation with unwanted main --- need better way to do this