noux: temporary buildbot fix

Issue #815