remove explisit dependency for norikra (for norikra testing)