Upgraded the OS of workstations from Fedora 17 to Fedora 18