bugfix in [Sources.binaries]