re-avoid github quirk