Fix installer debian patches