Fix #163: Remove redundant file types