FDIO: check for double freeing of an FDIO resource to fix possible double close ...