Use fixed seed for tests in travis