removed roby-head from Travis - too unstable