Re: module system bug: qualified exports