reorder plugins in dist.ini, autogenerate ppport.h