Copy manager.ini for debian