explicitely list license server type in ABAQUS install options