removed workaround for former bnd-platform bug