Avoid deprecated usage of devtools installer

In devtools, `username` parameter is deprecated. "username/repo" is recommended.