I used an angle grinder to cut the notch.

iusedananglegrindertocutthenotch.jpg

Photo album created with Web Album Generator