a customized version of Github's boxer script.