Fixed debian build for reftools (#273)