Update aux0.js