Fedora 18 Update: armadillo-3.900.4-1.fc18