add Formula for LibVNCServer