come si fa ad utilizzare un distro linux per creare l applicazione ps4api???