Fixing some devdotfiles paths