Updates wibivpn alias.
Adds devtools to path.