allow flavor selection in URL (fix #5)