Rifles powered by Linux purchased by US Army