fix travis configuration, faster testing with optimizer disabled