fixes #15

fixes #15 

This is a fairly easy fix for #15. However, I do not know how this relates to the other OS's and older versions of the external tools.