up #407 : hopefully fixed travis