It's your decision to make. It depends on what you're planning on developing the site into (directory site is too broad). I try to give my domains a chance with development before I sell them, I'd recommend that you try it as well. I've learned, from personal experience, that NamePros auctions aren't the best for endusers that could maximize your profit. List and market your name as well as you can to sites like Sedo and sites with potential endusers before giving up on the domain or development.