3.16: add placeholder for ebin/