#1111: Attempted to fix debian