⁶Dependent modules must be in a path that is specified by the environment variable PICATPATH.