aws extension for devbot