Fix for travis builds