update travis file for numerical-core