Upgrade SDCC; still works with 2.9.0 with 'make AS8051=asx8051'