Use install instead of cp/mkdir for Debian desktop stuff