explicitly refer to liberty with module names