Fix syntax error in buildfile for Travis.ci