Fix linux nic device name in PS1