Fix: fixes travis compile time error