config for travis ci, again:(