Fix broken names on Linux v0.2.