merge 683774 736680 thanks I am thinking of working around it by forking the project and providing a source code form that can be built from tools in main. Is it possible and DFSG-compatible? Thanks, -- Yao Wei