Fix for travis build (3)