Upgraded the OS of workstations from Fedora 18 to Fedora 19