Fix #2: change platform-tools filter to platform-tool