Make autofoo happy