sesman: verify_user_bsd.c license change and indent