some more options for configure script