forestdb: Fix platforms.txt