Proper dev tools bin path, fixes #402 #403