Fixing build problems for travis ci