`basename()` behaves differently on different OS.