remove socket placeholders from gnatdroid (it is supported)