Seems to be needed for travis CI