Update libraries and make :aot explicit