Updates to fix debian7 and fc20