Updating travis CI configuration to solve build problems in #274

Resolve the travis CI build problems in #274