added dummy configure options