Second fix for random.js include