Some libraries missing from the Travis-CI environment