fix #4249: Ubuntu: wrong sources.list entries