Removed two obsolete files from dev/.