fix broken link to contrib/devtools