Changed travis manifesto extension.