tools: Take into account the executable extension when looking for tools in the path.