Fix a bug of exports
Tweak specs
Rebuild packages