Fix tiny problems in Ubuntu