bugfixes; rename fedora proc to fedora19