Fix fonts on Ubuntu, operationalize