phadej/symbolic not found