Do not checkout trilinos public since it does not seem to be working