extras/tools: update gas-pp