Travis config update: Partial fix for issue #56.