static const char *available_devices = "@MACHXO2_DEVICES@";