A bunch more custom configuration for amiel