Clean up dist.ini (thanks Ricardo!)