Travis doesn't generate ISO now