Travis : fix premake4