Fix target in travis CI configuration