Travis: adjusting Python script name