fix archlinux platform name;

Signed-off-by: Vasiliy Tolstov <v.tolstov@selfip.ru>