Rename tek_user -> tek_vxi11.
Define library name in config.mk for easier updating.