give up on travis, version of ubuntu too old