remove fatuous comment; works locally on ubuntu too