Correct openocd-stlink file