devfsctl - Add userfriendliness; correct #include