Use ATS-Postiats-contrib on travis-ci