tools: update gas-pp