whoops, fix breakage in jeeboot