streamline travis builds
remove superfluous extension