[PATCH configure 1/2] Fix to aeolus-configure options