Access Computer devices with php-gtk