Fix a bug setting ABI flags