Files not picked up with other push.