Travis configuration: let Travis use the tiny profile