Koch now uses PATH/nimrod correctly
Merge pull request #812 from girvo/koch-fix

Koch now uses $PATH/nimrod correctly