tools: Fix install-dev target.
1 file changed