Fixes debian bug #749658