Travis: run TestProgram