On Sat, 07 Dec 2013 03:28:14 +0000, T o n g wrote: > Well, I'll try building it outside docker... building it outside docker is fine. So, will look into the problem sometimes later...