maps4: make page monitoring /proc file optional