Merge branches 'guile-c11' and 'python-ci-fix'

Fix Travis CI builds broken due to the changes in Travis CI build
environment since the last successful build.

See #1798, #1799.