add a few more things to src's configure script

Change-Id: I6c426e3450ccdbc8ccdc6da34221d08f9253a8ad